#ifndef DRV_WDT_H
#define DRV_WDT_H

#include <stdint.h>

extern void wdt_init(uint16_t tMs);
extern void wdt_feed(void);







#endif
